fix workspaces padding a little. (it's still not quite right)

svn path=/trunk/; revision=160

diff --git a/js/ui/workspaces.js b/js/ui/workspaces.js
index 975d30bb9280fea3cc38607062b97772d8d6fd15..99d393bfcac3780dbfe66e088a5b002a7e99597e 100644 (file)
--- a/js/ui/workspaces.js
+++ b/js/ui/workspaces.js
@@ -524,7 +524,8 @@ Workspaces.prototype = {
         let screenWidth = global.screen_width;
         let screenHeight = global.screen_height;
 
-        this._width = screenWidth * Overlay.WORKSPACE_GRID_SCALE;
+        this._width = screenWidth * Overlay.WORKSPACE_GRID_SCALE -
+            2 * Overlay.WORKSPACE_GRID_PADDING;
         this._height = screenHeight * Overlay.WORKSPACE_GRID_SCALE;
         this._x = screenWidth - this._width - Overlay.WORKSPACE_GRID_PADDING;
         this._y = Panel.PANEL_HEIGHT + (screenHeight - this._height - Panel.PANEL_HEIGHT) / 2;